- computabilidad efectiva
- f.effective computability.
Spanish-English dictionary. 2013.
Spanish-English dictionary. 2013.
Numeración de Gödel — En teoría de los números un número de Gödel es una función que asigna a cada símbolo y fórmula de un lenguaje formal un número único, denominado Número de Gödel (GN). El concepto fue utilizado por primera vez por Kurt Gödel para la demostración… … Wikipedia Español